GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Dexter Kozen</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Dexter Kozen</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Dexter Campbell Kozen</b> (* <a href="20._Dezember" title="20. Dezember">20. Dezember</a> <a href="1951" title="1951">1951</a>) ist ein US-amerikanischer theoretischer Informatiker.

</p><p>Kozen studierte am <a href="Dartmouth_College" title="Dartmouth College">Dartmouth College</a> mit dem Bachelor-Abschluss in Mathematik <i>summa cum laude</i> 1974 und wurde 1977 bei <a href="Juris_Hartmanis" title="Juris Hartmanis">Juris Hartmanis</a> an der <a href="Cornell_University" title="Cornell University">Cornell University</a> in Informatik promoviert (Complexity of finitely presented algebras)<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>. Als <a href="Postdoktorand" class="mw-redirect" title="Postdoktorand">Postdoktorand</a> war er an der <a href="University_of_California%2C_Berkeley" title="University of California, Berkeley">University of California, Berkeley</a> und danach ab 1978 Wissenschaftler bei <a href="IBM" title="IBM">IBM</a> Research in Yorktown Heights. 1981/82 war er Gastprofessor an der <a href="Universit%C3%A4t_Aarhus" title="Universität Aarhus">Universität Aarhus</a> (und nochmals 1991/92) und 1984/85 Adjunct Professor an der <a href="Columbia_University" title="Columbia University">Columbia University</a>. Ab 1985 war er Associate Professor und ab 1989 Professor für Informatik an der Cornell University (seit 1994 als Joseph Newton Pew Professor).

</p><p>Kozen befasst sich mit <a href="Komplexit%C3%A4tstheorie" title="Komplexitätstheorie">Komplexitätstheorie</a>, speziell von Entscheidungsproblemen in Algebra und Logik, mit Logik und Semantik von Programmiersprachen und Computersicherheit.

</p><p>Er leistete Beiträge zur <a href="Modallogik" title="Modallogik">Modallogik</a> und ist mit <a href="Dana_Scott" title="Dana Scott">Dana Scott</a> und <a href="Jaco_de_Bakker" title="Jaco de Bakker">Jaco de Bakker</a> Begründer des modalen <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mu }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mu }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/9fd47b2a39f7a7856952afec1f1db72c67af6161.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:1.402ex; height:2.176ex;" alt="{\displaystyle \mu }" loading="lazy"></span>-Kalküls und einer der Begründer der Dynamischen Logik (mit <a href="David_Harel" title="David Harel">David Harel</a>).

</p><p>1976 führte er den Begriff der alternierenden <a href="Turingmaschine" title="Turingmaschine">Turingmaschine</a> ein, unabhängig von Ashok Chandra und Larry Stockmeyer. Er war ein Pionier in probabilistischer Semantik und befasste sich mit maßtheoretischer Semantik für probabilistische Programme und arbeitete über Kleene-Algebren.

</p><p>1989 fand er mit <a href="Susan_Landau_(Informatikerin)" title="Susan Landau (Informatikerin)">Susan Landau</a> einen Algorithmus zur Kompositions-Zerlegung von Polynomen (das heißt Auflösung von h=g(f), mit g, f, Polynomen höheren als ersten Grades und h der Komposition aus den gesuchten g und f), der in polynomialer Zeit erfolgreich war.

</p><p>Er ist Fellow der <a href="Association_for_Computing_Machinery" title="Association for Computing Machinery">Association for Computing Machinery</a> (ACM) und der <a href="American_Association_for_the_Advancement_of_Science" title="American Association for the Advancement of Science">American Association for the Advancement of Science</a> und war 1991 <a href="Guggenheim_Fellow" class="mw-redirect" title="Guggenheim Fellow">Guggenheim Fellow</a>. 1980 erhielt er den Outstanding Innovation Award von <a href="IBM" title="IBM">IBM</a> (für die Arbeit zur Alternierung mit Ashok Chandra und Larry Stockmeyer). 2016 erhielt er den <a href="EATCS-Award" title="EATCS-Award">EATCS-Award</a> und den <a href="W._Wallace_McDowell_Award" title="W. Wallace McDowell Award">W. Wallace McDowell Award</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>

<ul><li>On parallelism in Turing machines, Proc. 17. Symp. Found. Comput. Sci. (FOCS), 1976, S. 89–97</li>

<li>mit Ashok Chandra, Larry Stockmeyer: Alternation, J. ACM, Band 28, 1981, S. 114–133</li>

<li>Semantics of probabilistic programs, J. Comp. Syst. Sci., Band 22, 1981, S. 328–350</li>

<li>mit Rohit Parikh: An elementary proof of the completeness of PDL, Theoretical Computer Science, Band 14, 1981, S. 113–118</li>

<li>Results on the Propositional μ-Calculus, Theoretical Computer Science, Band 27, 1983, S. 333–354.</li>

<li>mit Susan Landau: Polynomial Decomposition Algorithms, Journal of Symbolic Computation, Band 7, 1989, S. 445–456</li>

<li>mit Jerzy Tiuryn: Logics of programs, in: J. van Leeuwen, Handbook of Theoretical Computer Science, Band B, North Holland 1990, S. 789–840</li>

<li>mit <a href="David_Harel" title="David Harel">David Harel</a>, Jerzy Tiuryn: Dynamic Logic, MIT Press 2000</li>

<li>mit David Harel, Jerzy Tiuryn: Dynamic Logic, in: D. M. Gabbay, F. Guenther, Handbook of Philosophical Logic, Band 4, Kluwer 2002, S. 99–217</li>

<li>Theory of Computation, Springer 2006</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://www.cs.cornell.edu/~kozen/">Homepage</a></li>

<li><a rel="nofollow" class="external text" href="http://processalgebra.blogspot.de/2016/01/eatcs-award-2016-to-dexter-kozen.html">Zum EATCS Award für Kozen 2016</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise_und_Anmerkungen">Einzelnachweise und Anmerkungen</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=38611">Dexter Kozen</a> im <a href="Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> (englisch) <span style="display:none">Vorlage:MathGenealogyProject/Wartung/id verwendet</span></span>

</li>

</ol>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/135740436">135740436</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n82026953">n82026953</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/25829033/">25829033</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2017-11-05" href="https://de.wikipedia.org/wiki/?title=Dexter_Kozen&oldid=170685443">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>